Analysis of path exclusion at the machine code level
نویسندگان
چکیده
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.
منابع مشابه
Transformation of Path Information for WCET Analysis during Compilation
Performing worst case execution time WCET analysis on machine code with program path annota tion provided at high level source code level requires the transformation of path annotations from the source code level to assembly object code level This path information transformation can be done outside or in tegrated into the compiler during code compilation The rst approach is easier to implement ...
متن کاملAnalysis of path exclusions at the machine code level
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.
متن کاملEvaluating the Effects of Field Size on Beam Homogeneity Coefficient in the Superficial Radiotherapy Machine Using Empirical Method and Simulation
Introduction Superficial X-ray therapy is one of the most important treatment methods in radiotherapy especially in the treatment of superficial skin lesions (Up to 300 kVp). Quality of the X-ray beam that can be expressed by Half-Value Layer (HVL), are important indices for this type of treatment effective energy of photon and Homogeneity Coefficient (HC). Materials and Methods The HC of the s...
متن کاملA Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company
Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...
متن کاملContour Crafting Process Plan Optimization Part II: Multi–Machine Cases
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کامل